Composants objets fiables : une approche pragmatique
نویسندگان
چکیده
Software reliability and correctness remain a major problem in industry. The goal of our study is to propose a software component design framework which promote the highest formal level compatible with economic, organizational and programmer skills constraints. The support of our approach is a model of self-documented and self-testable classes, that uses design-by-contract mechanisms, object-oriented testing and embeded documentation practices. On this basis, an iterative development process is defined. A methodology is proposed to improve test and contracts quality. The proposed approach is illustrated by examples in Java and Eiffel. MOTS-CLÉS : conception par objets, composant, programmation par contrats, documentation, test.
منابع مشابه
Une approche pragmatique pour mesurer la qualité des applications à base de composants logiciels. (A pragmatic approach to measure the quality of Component-Based Software Applications)
متن کامل
Les Réseaux Bayésiens versus d'autres modèles probabilistes pour le diagnostic multiple de gros systèmes
Notre travail se situe dans le contexte du diagnostic multiple de systèmes fiables et de grande taille. Les systèmes que nous considérons sont constitués de composants, reliés entre eux par leurs entrées ou sorties. Un composant C est soit en bon état ok(C) soit défaillant ab(C). L’objectif du diagnostic est de trouver le ou les composants défaillants qui expliquent le mieux des observations de...
متن کاملExtraction d'Architecture à Base de Composants d'un Système Orienté Objet
RÉSUMÉ. Disposer d’une représentation de l’architecture d’un système complexe est devenue essentiel pendant toutes les phases du cycle de vie du logiciel. Cependant pour beaucoup de systèmes, aucune représentation fiable de leurs architectures n’est disponible. Afin de palier cette absence, source de nombreuses difficultés, nous proposons, dans cet article une approche visant à extraire une arc...
متن کاملUne approche pour la maintenance et la ré-ingénierie globale des logiciels
ion Objets structu és Objets dérivés Abstractions Objets générés Abstraction Objets structu és Objets dérivés Représentations Objets générés Abstraction Objets structu és Objets dérivés Opérations
متن کاملScripting Interactive Physically-Based Motions with Relative Paths and Synchronization
This paper presents a novel approach for facilitating the use of physically based models by animators. The idea is to let the user guide motion at a high level of control by giving approximate desired trajectories and synchronization constraints between the objects over time, while a simulation module computes the final motion, dealing with collision detection and response, and enhancing realis...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- L'OBJET
دوره 5 شماره
صفحات -
تاریخ انتشار 1999